Iteration Theories of Synchronization Trees
نویسندگان
چکیده
منابع مشابه
Iteration Trees
large cardinal hypothesis used to prove I1~+1 determinacy in [MS] cannot be substantially improved. Our theorem is an application of the theory of core models or canonical inner models for large cardinal hypotheses. Our work develops further some of the basic ideas of this theory. The theory itself has many other applications, particularly in the realm of relative consistency results. (As a quo...
متن کاملWhat Are Iteration Theories?
We prove that iteration theories can be introduced as algebras for the monad Rat on the category of signatures assigning to every signature Σ the rationalΣ-tree signature. This supports the result that iteration theories axiomatize precisely the equational properties of least fixed points in domain theory: Rat is the monad of free rational theories and every free rational theory has a continuou...
متن کاملIteration theories as monadic algebras
Iteration theories, as introduced by Stephen Bloom and Zoltán Ésik, are Lawvere theories equipped with a function assigning to every morphism e : n → n + k (representing a system of n recursive equations whose left-hand sides are variables and right-hand sides are terms in those n variables and k parameters) a morphism e† : n → k (representing a solution of those equations). This function is re...
متن کاملElgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
The concept of iteration theory of Bloom and Ésik summarizes all equational properties that iteration has in usual applications, e.g., in Domain Theory where to every system of recursive equations the least solution is assigned. However, this assignment in Domain Theory is also functorial. Yet, functoriality is not included in the definition of iteration theory. Pitty: functorial iteration theo...
متن کاملGeneralized Synchronization Trees
[1] J. Ferlez, R. Cleaveland, and S. Marcus. Generalized synchronization trees. In FOSSACS 2014, volume 8412 of Lecture Notes in Computer Science, pages 304–319, Grenoble, France, 2014. Springer-Verlag. [2] Robin Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer-Verlag, 1980. [3] Edward Dean Tate Jr, Jessy W. Grizzle, and Huei Peng. Shortest p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1993
ISSN: 0890-5401
DOI: 10.1006/inco.1993.1001